16 Proving A Point Is An Accumulation Point